There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras

摘要

We prove that any equational basis that defines RRA over wRRA must containinfinitely many variables. The proof uses a construction of arbitrarily largefinite weakly representable but not representable relation algebras whose"small" subalgebras are representable.